/*
 * TimedNotifier.cpp
 *
 *  Created on: Jun 3, 2010
 *      Author: sdaniele
 */

#include "TimedNotifier.h"


namespace noti {

bool is_report_producers();

TimedNotifier::TimedNotifier(::std::string name, sc_event* event, const sc_clock* clk, bool is_thread, const sc_time& t)
	:EventUser(sc_module_name(name.c_str()), event, clk, is_thread), m_time(t)
{}

TimedNotifier::~TimedNotifier() {}


void TimedNotifier::do_method_work(){
	EventUser::m_event->notify(m_time);
	if(is_report_producers())
		EventUser::print_report();
}

void TimedNotifier::init_sensitive(){
	sensitive << m_clk.pos();
}


}
